SUBDIRS=1_untyped/1_environment

include ../../../../../include/kframework/ktest-group.mak
